<?php
function up(): never {
}
